Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
571	Fast Heuristic Minimization of Exclusive-Sums-of-Products∗ Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [alanmi,mperkows]@ee.p Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-07-16 02:56:52 Electronic design Electronic design automation Boolean algebra Logic optimization Karnaugh map Logic synthesis Minimisation Cube Electronic engineering Design Digital electronics
572	A New Enhanced Constructive Decomposition and Mapping Algorithm Alan Mishchenko Xinning Wang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-03-28 23:46:48 Mathematics Binary decision diagram Model checking Computer programming Decomposition Lookup table Decomposition method Boolean algebra Computing Diagrams
573	Microsoft Word - imfs27.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-12-20 12:21:03 Formal methods Mathematics Logic Boolean algebra Diagrams And-inverter graph Boolean satisfiability problem Canonical form Lookup table Theoretical computer science Computing Electronic design automation
574	IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 11, NO. 3, JUNE[removed]Transactions Briefs__________________________________________________________________ Board-Level Multiterminal Net Assignm Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-07-31 11:09:07 Logic in computer science NP-complete problems Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array MOS Technology SID Hardware emulation Theoretical computer science Electronic engineering Applied mathematics
575	LUTMIN: FPGA Logic Synthesis with MUX-Based and Cascade Realizations Tsutomu Sasao 1 and Alan Mishchenko[removed]Dept. of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka[removed], Japan Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-09 02:20:06 Boolean algebra Diagrams Field-programmable gate array Binary decision diagram Lookup table Xilinx Multiplexer Artificial neuron Function Computing Mathematics Electronic engineering
576	Connectives SNAP! Teaching notes A SNAP is valid when the two cards show connectives that are synonyms, rather than when identical connectives appear. Students will need to be clear which connectives perform the same fun Add to Reading List Source URL: www.teachit.co.uk Language: English - Date: 2015-01-05 05:43:31 Logical connective Sentence Mathematical logic Propositional calculus Boolean algebra Propositions Logic Predicate logic
577	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-11-23 21:54:00 Computing Diagrams Binary decision diagram Model checking Electronic design automation Lookup table Boolean function Field-programmable gate array Canonical form Mathematics Boolean algebra Electronic engineering
578	On Resolution Proofs for Combinational Equivalence Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:55:07 Automated theorem proving Boolean algebra Propositional calculus Predicate logic Resolution Unit propagation Mathematical proof Davis–Putnam algorithm NP Logic Mathematical logic Mathematics
579	Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: { Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:33:24 Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation P-complete Temporal logic Frame problem Cook–Levin theorem Theoretical computer science Applied mathematics Mathematics
580	1 Molecular computing is a relatively new field that aims to construct information-processing devices at the molecular level. In particular, molecular devices constructed using DNA show promise for a wide range of impor Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2012-06-26 20:12:52 Molecular biology Helices Algebraic logic Boolean algebra Restriction enzyme Nucleic acid sequence Biology DNA Genetics

UPDATE